>>682
injectiveの証明はどこが誤りなんでしょうか?
書き方はともかくとして方針は良い気がするのですが。