A Proof Progression for Geometry