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