で、何を証明するための補題なんだ?