Euclid I 32 Exterior angle theorem

An exterior angle is equal to the sum of the two remote interior angles.