Square root/2/Irrational/Fact/Proof