それ擁護になってませんよ、coq先生