IrrationalitySqrt3Proof