Rule of Material Implication/Formulation 1/Forward Implication/Proof