Prove that root p + root q is irrational