non zero derivative implies injective