Proof that the square root of 5 is irrational