A Practical Theory of Programming
Hehner: A Practical Theory of Programming
This is a trigonometric identity:. Your goal is to verify/prove the identity by manipulating one side of the equation until it looks like the other side.
A practical theory of programming
2.6 Algebraic Proof