This is a preview. Log in through your library . Abstract We prove constructively that, in order to derive the uniform continuity theorem for pointwise continuous mappings from a compact metric space ...