Добавлена функция peval от числа и состояния возвращающая теорему о состояниях с условиями через количество шагов