G.02.03.
Algebraic and Geometric Proofs