Изменения

От противного: пусть есть такой алгоритм, тогда мы проанализируем варианты его исполнения, подстроим порядок доставки сообщений (без откладывания сообщений бесконечно далеко) , получим бесконечную цепочку выполнения и получим противоречие с нетривиальностью консенсусаконечностью алгоритма.