>>881
それって、fが全射であることの証明ってどうなるんですか?