Sahlqvist's theorem