ただしaとbは連続しない正の整数という条件が付けられた
なぜこのような条件が付けられたかのかは
a^2 + b^2 = 2023
となるa, bが存在しないことがある（a>bでの場合、a-b=1)
中学生レベルでこれを示すのには難易度が高いと判断されたため、この条件を設定したと考えられる

任意の正の整数a, bにおいて

a^2 + b^2 = 2023

を満たすa, bが存在しないことを証明せよ