Математическая точность: Доказательство второго признака треугольника