Zero derivative on a connected open set
= Zero derivative on a connected open set
A differentiable map on a connected open subset of Euclidean space whose derivative vanishes everywhere is constant. The <mean value inequality> makes it constant on every ball in the domain, hence locally constant; connectedness then makes the value global.