[A] 1
        -------
         A\/B         (A\/B)->(A/\B)
      ---------------------------------
                  A/\B
               ---------
                   B
              -----------[1]
                  A->B