Joshua DuMont
Cyclic quadrilaterals have opposite angles which are supplementary