Miquel Theorem
Can the result be extended on the sphere?