Why does zero derivative imply a function is locally constant?