>>350
自然な単射だから証明はいらないよ
自然なって言うのは自明なとは少し違って自然変換のことをいう
まあ単射と全射が自然に起こるというのは写像の基本