Tarski–Seidenberg theorem (source code)

= Tarski–Seidenberg theorem
{wiki=Tarski–Seidenberg_theorem}