is (sqrt(8)-sqrt(2))%5E2 irrational%3F