証明を補足した。