Je ukázáano, že každé usco omezené zobrazení první třídy je limitou usco omezené posloupnosti spojitých funkcí.
