 Of the many applications of Brouwer’s principles, the most famous is his uniform continuity theorem (which follows from the pointwise continuity consequences of CC1-2 together a form of fan theorem more general than FT\(_D)\):