Does Miquel Theorem hold on the sphere?

spherical.cg3