Tantumdem enuntiatum theorematis est: Si n est numerus integer magnopere duobus, aequatio an + bn = cn non habet solutiones integros positivos.