 This proves that all points in the intersection are the same distance from the point "E" in the plane "P", in other words all points in the intersection lie on a circle "C" with center "E".This proves that the intersection of "P" and "S" is contained in "C".Note that "OE" is the axis of the circle.