Levi–Lechicki theorem