Jabarkan Perumusan dari Konjektur abc

Jika , , dan  adalah bilangan bulat positif koprima sehingga , maka "biasanya" . Konjektur abc berkenaan dengan pengecualian, atau lebih khususnya mengatakan:

Disini,  berarti radikal bilangan bulat. Perumusan ekuivalennya adalah: untuk setiap bilangan real positif , terdapat sebuah konstan  sehingga untuk semua rangkap tiga  dari bilangan bulat positif koprima, dengan , maka