補題といえば…