Για κάθε συνάρτηση $f$, η οποία είναι παραγωγίσιμη στο $A = (-\infty, 0) \cup (0, +\infty)$ με $f'(x) = 0$ για κάθε $x \in A$, ισχύει ότι η $f$ είναι σταθερή στο $A$.