[ |- A -> B -> A ] 
------------------------------ Implication strategy 
[ A |- B -> A ] 
------------------------------ Implication strategy 
[ A , B |- A ] 
------------------------------ Hypothesis 
Ø

