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