How to write proofs: a quick guide