Author note — to cover
The exterior angle equals the sum of the two opposite interior angles: derive it from the angle sum and the straight line, use it as a one-step shortcut, and quote it as a named reason. Polygon exterior angles are a separate page. Both tiers. (G3, G6)
Introduction
—coming soon—