補題の証明を追加した。