Question
Is it true that `x^2 - 2` has a zero in `QQ` (meaning `sqrt 2` is a rational number) ?
Close the window and try once more...
Close the window and click for the next page...