CIC Proofs (4)

Th11) ⊢ (Q ⇒ R) ⇒ [(P ⇒ Q) ⇒ (P ⇒ R)]
2.) ⊢ (Q ⇒ R) ⇒ {[P ⇒ (Q ⇒ R)] ⇒ [(P ⇒ Q) ⇒ (P ⇒ R)]}                           Th1
3.) ⊢ {(Q ⇒ R) ⇒ [P ⇒ (Q ⇒ R)]} ⇒ {(Q ⇒ R) ⇒ [(P ⇒ Q) ⇒ (P ⇒ R)]}     Th2
4.) ⊢ (Q ⇒ R) ⇒ ( P ⇒ (Q ⇒ R))                                                                        Lk1
5.) ⊢ (Q ⇒ R) ⇒ [( P ⇒ Q ) ⇒ ( P ⇒ R )]                                                         MP 3,4