Algebraic proof (e.g., show expressions are even/odd, divisible by n)