全体集合を自然数とします。 n を素因数分解して得られるすべての素数の重複を許さない積を rad (n) で表すことにします。
a と b は互いに素とし、 c = a+b と置きます。
まれな c ≧ rad ( a×b×c ) のケースを記載します。