Text this: On the range of the derivative of a smooth mapping between Banach spaces