Για κάθε συνάρτηση $f: \mathbb{R} \to \mathbb{R}$, που είναι παραγωγίσιμη και δεν παρουσιάζει ακρότατα, ισχύει $f'(x) \neq 0$ για κάθε $x \in \mathbb{R}$.