Steinitz's theorem