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
.
Proof of
:
Formula is true because it is identical to
.