G.CO.C: Use geometric theorems to justify relationships.