The angle at the centre is twice the angle at the circumference.
The angle in a semicircle is a right angle.
Angles in the same segment are equal.
Opposite angles in a cyclic quadrilateral sum to 180°
