Stone–Čech compactification Theorem