Tag: Prove that √5 is Irrational