>>57
ありがとうございます。
>>45の補題はどうやって示すんですか?