Equation proof