a,b異なる自然数で 2a^2 = b^2 をみたす値は、
存在しない。　 であってますか？