Investigate, prove, and apply theorems about lines and angles, including but not limited to: vertical angles are congruent; when a transversal crosses parallel lines, alternate interior angles are congruent and corresponding angles are congruent; the points on the perpendicular bisector of a line segment are those equidistant from the segment’s endpoints.
