Prove that root3 is irrational.