On Brouwer’s continuity principle