Steinitz theorem