Theorems 3

The opposite angles in a cyclic quadrilateral (a four-sided figure whose vertices lie on the circumference of a circle) add up to 180 degrees.