>>1
mは偶数か奇数
mを奇数とするとm^2も奇数
2n^2は偶数なので矛盾
したがってmは偶数