m+n とn-mが互いに素と言えれば
右辺と左辺の素因数の数が合わないという矛盾に持ち込めるんだけど。どうやればいいかな？