Historical clue formulations

• Like Fermat's last theorem, eventually — 2016-06-05
• Verified — 1995-06-04