補題を証明した。