Propositional Calculus Proofs (4)

Th17) ⊢ ¬T ⇒ (T ⇒ U)
1.) ⊢ (¬U ⇒ ¬T) ⇒ (T ⇒ U)                                  Lk3                               
2.) ⊢ ¬T ⇒ [(¬U ⇒ ¬T) ⇒ (T ⇒ U)]                   Th1
3.) ⊢ [¬T ⇒ (¬U ⇒ ¬T)] ⇒ [¬T ⇒ (T ⇒ U)]     Th2
4.) ⊢ ¬T ⇒ (¬U ⇒ ¬T)                                          Lk1
5.) ⊢ ¬T ⇒ (T ⇒ U)                                                MP 3,4