集合M=〈a|x^2-y^2)x,y是整数 证明偶数4n-2不输于M