Steinitz_exchange_lemma loading ...