proofs by example