Cohen–Seidenberg theorems