Houjun Liu
injectivity implies that null space is {0}