G.PC.1.c: Prove and justify theorems and properties of quadrilaterals using deductive reasoning.