>>61
少なくとも 3 種類以上の素因数をもつことなら示せた

M=m(m+1)(m+2)(m+3) が 2, 3 を素因数にもつことは簡単に分かる
2, 3 以外に素因数がないと仮定すると
　(a) m=2^s のとき m+3=2^s+3
　(b) m=3^t のとき m+2=3^t+2
　(c) m=2^s・3^t のとき m+1=2^s・3^t+1
となるがこれらはいずれも 2 でも 3 でも割り切れない