En slät funktion f:[0,1]->R har egenskapen att för varje x finns det en n_x sådan att alla derivator av ordning minst n_x försvinna på x. Är f nödvändigtvis ett polynom?