Which one of the following options is CORRECT given three positive integers x, y and z, and a predicate P(x)=⇁(x=1)∧∀y(∃z(x=y∗z)) ⇒(y=x)∨(y=1)
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?