Fundamental Theorem (Theorem 1.4)

Description : Prove that √2 is irrational.