proofs by example

EnglishEdit