任意x,y,z在n>2时方程x^2+y^2=z^2无正整数解.逆否命题是什么