Έστω μια σταθερή συνάρτηση.
Δηλαδή, υπάρχει ώστε για κάθε .
Γνωρίζουμε ότι , για κάθε .
Αντίστροφα, ας υποθέσουμε ότι είναι μια συνεχής συνάρτηση, παραγωγίσιμη στο , με την ιδιότητα , για κάθε .
Είναι σωστό ότι η είναι σταθερή στο ;