https://github.com/math-comp/trajectories/blob/1fb53b7df18e15fd8c2d3400d12d25a7559add16/theories/three_circles.v#L224