re: #459 SixDegrees

Fermat’s Last Theorem has already been solved.

Substitute Riemann’s hypothesis.