Prove that 2√3 − 1 is an irrational number.