Рабочий процесс доказательства свойства для круиз-контроля фиксированной точки

В этом примере показано, как доказать свойства в алгоритме круиз-контроля фиксированной точки.