Prove the 2nd axiom of mathematical logic using the Deduction Theorem

[solakis1]

prove:
The 2nd axiom of mathematical logic

2) $((P\implies(Q\implies R))\implies((P\implies Q)\implies(P\implies R))$

By using only the deduction theorem

 

[pbuk]

Axioms come before theorems so there isn't much point, but if you still want to do this backwards then show us what progress you have made.