and the uniform boundedness principle.

BCT1 also shows that every nonempty complete metric space with no isolated point is uncountable. (If is a nonempty countable metric space with no isolated point, then each singleton in is nowhere dense, and is meagre in itself.) In