Теорема 1. Якщо одна з задач лінійного програмування має скінченне оптимальне значення, то і двоїста до неї задача теж має скінченне оптимальне значення, причому оптимальні значення лінійних форм обох задач співпадають. Якщо лінійна форма однієї з задач необмежена, то система обмежень іншої задачі несумісна.
