Proof.
To perform part (b), the function

can be argued to be
uniformly continuous as follows. Let

. Then
 |
(5.5) |
For any

, we have

. Then
 |
(5.6) |
Therefore,

is uniformly continuous.
Now to perform part (c), define
 |
(5.7) |
The denominator is never equal to zero, so this function inherits
continuity from the functions it is composed of. To see that

, suppose otherwise. Then

which
implies

, contradicting that

and

are disjoint.
Therefore, the function is continuous, and we can look at its action on
elements in

or in

: if

, then

, so

.
If

, then

, so

.
By setting
and
, we can prove the Urysohn Lemma
in one direction.