証明を一部した。