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