IrrationalitySqrt2Proof2.ggb

Prove that square root of 2 is an irrational number.