>>47
証明が代数的であるがゆえに分かりにくいが、
「割り切れない」が理由と考える事もできる。