Though historically this theorem was in fact used to solve the Levi problem.
しかし歴史的に見ると、この定理は実際はレヴィ問題を解くために用いられていた。