for F being Ring
for V, W being VectSp of F
for T being linear-transformation of V,W st T is one-to-one holds
ker T = (0). V