ker f 0 injective