Используйте предположения, чтобы ограничить возможную область значений значений переменных или выражений. Для получения дополнительной информации смотрите Предположения Использования на Символьных Переменных. Чтобы проверить, содержит ли условие, используйте isAlways.
Используйте предположения на символьных переменных
Смоделируйте свою проблему и получите более простые результаты при помощи предположений.
Очистите предположения и сброс символьный Engine
Удалите предположения и сбросьте состояние механизма.