[math-fun] cyclic quadrilaterals