Standard 9.3.2

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