During a proof, I encountered an hypothesis H. I have lemmas: H -> A and H -> B. How can I duplicate H in order to deduce two hypotheses A and B ? edited: More precisely, I have: lemma l1...