Изменения

''== Доказательство == === Неаккуратное'' доказательство: если === Если $P$ и $Q$ решили одновременно войти в критическую секцию, то они оба получили друг от друга ok и, следовательно, знают друг про друга. А тогда $P$ не может быть минимальным в очереди $P$, а $Q$ — минимальным в очереди $Q$.Намёки, почему Почему неаккуратно:

Чуть более аккуратное доказательство не === Аккуратное ===Не требуется на экзамене, но есть в книжке Gaarg, страницы 24 и 26 (впрочем, там тоже есть "одновременно", но уже не так явно).