いやhadたんも相当アレな部類だったと思うが
唯一の救いはhadは自分の証明が未完成であることを自覚してたことだな。