Cтраница 4
Обе последние теоремы сводятся к тому, что какой бы момент времени К ни взять на отрезке ХР, всегда этому моменту / С будет предшествовать другой момент уже состоявшего-с я изменения и вместе с тем будет предшествовать некий процесс изменения. [46]
Две последние теоремы непосредственно используют то свойство, что булева функция однозначно представляется своим множеством истинности. [47]
Две последние теоремы доказаны для случая, когда управления есть непрерывные функции. [48]
Эта последняя теорема ( с некоторыми изменениями) оказывается справедливой для произвольной непрерывной функции с графиком обобщенной неположительной кривизны. [49]
Эта последняя теорема была доказана другим методом, но тоже использующим теорему Эйлера, Деном. Перевод статьи Дена помещен в Успехах математических наук, вып. [50]