Stone–Tukey theorem