Legyen $f_1$, $f_2$, $\text{...}$ a valós számokon értelmezett valós értékű függvények egy tetszőleges (végtelen) sorozata. Bizonyítsuk be, hogy léteznek olyan ${\phi }_1$, ${\phi }_2$, $\text{...}$, ${\phi }_{1994}$ függvények, amelyekből bármelyik $f_n$ előállítható úgy, hogy néhányukat (akár ismétléssel) valamilyen sorrendben egymás után alkalmazzuk.