Four Basic Proof Techniques Used in Mathematics