Circles Have External Tangency