＞・zは5の倍数である。x,yの両方とも5の倍数でない(mod 5で考えると分かる)

ここがよく分からん。
5^2 + 12^2 = 13^2
は駄目なのか？