9.3.2: Construct logical arguments, based on axioms, definitions and theorems, to prove theorems and other results in geometry.