Understand, prove and use facts about cyclic quadrilaterals.