Giving Explicit Arguments to Lemmas and Hypotheses が分からぬ。