  We prove that every locally constant constructive function on an interval is
in fact a constant function. This answers a question formulated by Andrej
Bauer. As a related result we show that an interval consisting of constructive
real numbers is in fact connected, but can be decomposed into the disjoint
union of two sequentially closed nonempy sets.
