Ну да, я уже догадался, что имелась в виду она. А разве Ферма её не доказал? Да и кроме этих двух теорем у него ещё много разных других.