Choose hypotheses when applying theorem