 the proposition for which Brouwer originally developed his proof of the fan theorem. (Note that UCT\(_{[0,1]}\) is equivalent, relative to BISH, to the general uniform continuity theorem for metric spaces: Every pointwise continuous mapping of a complete, totally bounded metric space into a metric space is uniformly continuous. See, for example, Loeb [2005].)