ABC予想
P を少なくとも3つ以上の単根を持つ多項式とすると、P(1),P(2),P(3), ... の中には高々有限個しか累乗数が存在しない、という定理 (1976)。