ａ＋ｂ＝ｃを満たす互いに素な自然数の組（ａ、ｂ、ｃ）に対し、積ａｂｃの互いに異なる素因数の席をｄとする。

このとき、任意のε＞０に対して、ｃ＞ｄ^(1+ε)を満たす（ａ、ｂ、ｃ）はたかだか有限個しか存在しない

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

[1]a=2,b=3,c=5,abc=30=2・3・5=d→c＜d

[2]a=3,b=4,c=7,abc=84=2^2・3・7,d=2・3・7=42→c＜d

[3]a=1,b=8,c=9,abc=72=2^3・3^2,d=2・3=6→c＞d

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝