看起来是，
【 在 gtgtjing 的大作中提到: 】
: 这个我也想过，但是还可以a^2，b^2都是模3余1的，x^2和y^2一个模3余1另一个被3整
: 除
: 这样至少没有明显矛盾
--
FROM 119.139.196.*