Prove a result using algebra.