Catalanin otaksuma
Wikipedia
Catalanin otaksuma on Eugene Charles Catalanin keksimä Diofantoksen yhtälö, jonka mukaan yhtälön
ainoa positiivinen kokonaislukuratkaisu on
Catalanin otaksuman todisti vuonna 2002 Preda Mihailescu syklotomisten kuntien ja Galois'n modulien teorian avulla.