"Miquel Theorem" on the Sphere?

miquel-sp.cg3