worked out lemma of circles
Tout plus