Stone-Tukey theorem