prove cube root 6 is irrational