[A]1  [B]2
                    ------------
    [A/\B -> C]3        A/\B
   -----------------------------
                 C
          --------------  (2)     
              B -> C
        ------------------ (1)
            A->(B -> C)      
    ------------------------------- (3)
      ([A/\B -> C) ->  A->(B -> C)