Levi's theorem