Exterior angle of cyclic quad