seven circles theorem — about a chain of six circles tangent to a seventh circle and each to its 2 neighbors