Save implication elimination referring to hypotheses