Text this: Το λήμμα του Farkas στη γραμμική βελτιστοποίηση