Function with Always-Zero Derivative Is Constant - Expii

Steven Kwon already gave a nice explanation with good intuition. Here we'll give a (nonstandard?) proof **avoiding the [mean value theorem](https://www.expii.com/e/248.