......(更多)
Theorem 1.1.1. There is no rational number whose square is 2.
A rational number is any number that can be expressed in the form ($\frac{p}{q}$), where ($p$) and ($q$) are integers.
