Cyclic spherical quadrilateral