Proof of algebraic expression