Copy of opposite angles, cyclic quadrilateral