From and we obtain by modus ponens

.

For proving , by , it suffices to prove

We prove the individual conjunctive parts of :

Proof of :

Formula is proved because it is an instance of .

Formula is true because it is identical to .