Rule of Transposition/Variant 2/Formulation 2/Proof