https://123dok.net/document/yd78dd7j-steinitz-exchange-theorem-for-infinite-bases-ii.html