A Farkas tétel néhány bizonyítása és általánosítása, kapcsolata a lineáris programozással - Mayer Zoltán (1973)