>>82
その後に矛盾を生じる証明を加えた