Kummer–Vandiver conjecture — conjecture