maximum_com の証明を追加した。