Two remarks on injectivity and surjectivity
typo
to do