Как доказать выражение для любых значений переменных