(b−a)(b+a)=b2−a2(b-a)(b+a)=b^2-a^2(b−a)(b+a)=b2−a2 であり、a,ba,ba,b は奇数なので b−ab-ab−a と b+ab+ab+a はともに 444 の倍数にはならない。従って 2m−12^{m-1}2m−1 はその一方を割り切る。