# Irrational number

THEOREM

The square root of two is irrational.

Proof available

THEOREM

The square root of any prime is irrational.

Proof available

THEOREM

Between any two distinct rational numbers there exists an irrational number.

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