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

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