Function/Continuously differentiable/Derivation not 0/Local bijection/Exercise