Since is equicontinuous and bounded in , the Arzela-Ascoli theorem implies that is relatively compact.

So, if , there exists a sequence with pointwise.

But then, must possess a subsequence (denoted still by ) convergent in .

This means in , which proves that is the uniform limit of continuous functions.