p^2\neq q^2