five exciting proofs