Factor Principles/Conjunction on Right/Formulation 1/Proof 2