How to do a proof