任意の自然数a,bにたいし、
23a^4+17b^2は平方数でないことを示せ。