lonely runner conjecture proof | Synapse