Irrational number
THEOREM
The square root of two is irrational.
Proof available
THEOREM
The product of a rational and irrational is irrational.
Proof available
THEOREM
The sum of a rational and irrational is irrational.
Proof available