Show that 3 root2 is irrational.