Brouwer's continuity theorem, proven within intuitionistic mathematics, entails that every total fun...