a^2 + b^2 = c^2 をみたす整数 a, b のうち、少なくとも一方は４の倍数である
これをやさしく証明キボンヌ