En jevn funksjon f:[0,1]->R har egenskapen at for hver x er det en n_x slik at alle deriverte av orden minst n_x forsvinner på x. Er f nødvendigvis et polynom?