Linear mapping/Kernel/Injectivity/Fact