The Theorem of Three Circles. - Fox Thomson; Wenda Li (Arch. Formal Proofs, 2021)