The theorem generalizes Urysohn's lemma and is widely applicable, since all metric spaces and all compact Hausdorff spaces are normal.