Parovicenko's theorem