一度撤退したのですが、証明が完成したので>>9のところに提出しました。