Propositional Calculus Proofs (2)

Th3) ⊢ P ⇒ P

1.) ⊢ P ⇒ [ (P ⇒ P) ⇒ P ]                                                                        Lk1

2.) ⊢ [ P ⇒ (P ⇒ P) ] ⇒ (P ⇒ P)                                                             Th2
3.) ⊢  P ⇒ (P ⇒ P)                                                                                    Lk1
4.) ⊢ P ⇒ P                                                                                                MP 2,3