A sufficient condition for the strict insertion of a continuous function between two comparable upper and lower semicontinuous
functions on a normal space is given. Among immediate corollaries are the classical insertion theorems of Michael and Dowker.
Our insertion lemma also provides purely topological proofs of some standard results on closed subsets of normal spaces which
normally depend upon uniform convergence of series of continuous functions. We also establish a Tietze-type extension theorem
characterizing closed Gδ-sets in a normal space.