is (sqrt(8)-sqrt(2))^2 irrational?