Linear mapping/Kernel/Injectivity/Fact/Proof