(h) m=2^s (s≧3)のとき
　m+3=2^s+3 は 2, 3 で割れないから m+3=p^u
　そこで m+1=2^s+1=3^k (k≧2), m+2=2(2^{s-1}+1)=2・3^l (l≧2)の形となるが
　1=(m+2)-(m+1)=2・3^l-3k により矛盾

　(i) m=3^t (t≧2)のとき
　m+2=3^t+2 は 2, 3 で割れないから m+2=p^u
　そこで m+1=3^t+1=2^k (k≧4), m+3=3^t+3=3(3^{t-1}+1)=3・2^l (l≧2)の形となるが
　2=(m+3)-(m+1)=3・2^l-2^k により矛盾

以上により, M は少なくとも 4 種類以上の素因数をもつ