Proof that phi is irrational