Principle of Commutation/Forward Implication/Formulation 2/Proof 2

Proof
Using a tableau proof for instance 1 of a Hilbert proof system: