Haar's theorem