added proof of tensor injectivity