SubLemma 5.1

  Let consists of n copies of a single point. Let be an arbitrary function that is a lift of f. Then g is automatically continuous at all .

Proof

Suppose and . If U is an open neighborhood of x,

which is open. Since such subsets form a neighborhood base at , this proves that g is continuous at .