On metrics of constant positive curvature with four conic singularities on the sphere

We show that for given four points on the sphere and prescribed angles at these points, which are not multiples of $2\pi$, the number of metrics of curvature 1 having conic singularities with these angles at these points is finite.