DI Geometry - Definition of a Flowchart Proof with example