ABC予想
(Dąbrowski 1996)と同値。