その前に>>689がおかしいんだが…
示すべきは、ker fの任意の元が0ってことだろ。
0∈ker fって当たり前じゃん。