あと
オミゴトな解答はfの全射性を上手く使ってるんだけど
そこにも言及が無いね>>686
分離していることを示すにはそれ必要じゃ無いかな
>明らかに （＊ちょっと略している）
略しすぎ