worked out lemma of circles
See more