おいて現れることが分かる。」が成り立つことである。」であり、いわゆる対偶証明法を用いている。数分解形を考えれば直感的である。多くの書物では以下のように説明されている。倍数であることが分かる。触れた書に説明があります。4素因数分解形を考えればやはり直感的な定理なので、問題なしと思う人は証明を跳ばしてくれて構わないだろう。」がどちらも成り立つことを表す記号である。(証明)以下では文字はすべて整数である。