c=2m−bc=2^m-bc=2m−b、d=2k−ad=2^k-ad=2k−a を bc=adbc=adbc=ad に代入すると、b2−a2=2m(b−2k−ma)b^2-a^2=2^m(b-2^{k-m}a)b2−a2=2m(b−2k−ma) を得る。