補題L7_4_3を使うようにした。