>>539 では、MSの「証明」は証明にあらず

OT、敗北