Search for tag: "prove that root 2 is irrational"