Пошаговый анализ: доказательство положительности выражений