Důkaz neřešitelnosti rovnice xn + yn matematika Pierra de Fermat - Strakoš, Bohumil (Datasoft, 1992)