Een gladde functie f:[0,1]->R heeft de eigenschap dat voor elke x er een n_x bestaat zodat alle afgeleiden van orde ten minste n_x op x vervallen. Is f noodzakelijkerwijs een polynoom?