“…We can express p j 1 ,j 2 ,j 3 ,j 4 as the joint probability that e j 1 , e j 3 and e j 2 , e j 4 both cross. In [51], it was proved that the geometric probability that e j 1 , e j 3 cross, p j 1 ,j 3 , and the geometric probability that e j 2 , e j 4 cross, p j 2 ,j 4 , are continuous and are equal to the areas of the corresponding quadrangles on the sphere. Their intersection, p j 1 ,j 2 ,j 3 ,j 4 , is the area of the intersection of the two spherical quadrangles.…”