  We prove that every (compact) taut submanifold in Euclidean space is real
algebraic, i.e., is a connected component of a real irreducible algebraic
variety in the same ambient space. This answers affirmatively a question of
Nicolaas Kuiper raised in the 1980s.
