https://123dok.net/document/oz1worvy-cutting-planes-from-two-rows-of-the-simplex-tableau-extended-version.html