2a^2=b^2 (a,bは自然数)

この時a^2,b^2は2の素因数を偶数個持つ



これって自明なんか?
√2の無理数の証明で使いたいんやが