Proofs concerning irrational numbers