proofs definition code example

Example: proofs

An F in the chat for you, proofs may be easy but they take forever.