RE: Three Circles and Common Tangents proof