中山の補題は
何を示すための補題だったのですか