és persze szakaszonként folytonos helyett szakaszonként diff-ható függvények a "lényegében simák".
A független állítások olyankor kerülnek elő, amikor egy függvény nem differenciálható, nem folytonos, nem mérhető, nem tartozik a projektív hierarchiába, stb.