Let x, y and z be positive integers such that GCD(x, y, z) =1: x<y<z and x2+y2=z2. Then which of the following is always true?