"Miquel Theorem" on the Sphere?
miquel-sp.cg3