>>16
LCD(m,n)=1 ならば、 qn-pm=1　なる自然数(p,q) について
　(2^p)^m + (2^p)^m = (2^q)^n,
また (p,q) は無数に存在する。