Let formula_3 be (in that order) four non-intersecting circles that lie inside formula_1 and tangent to it.
Sea formula_3 (en ese orden) cuatro círculos no interceptados que se encuentran dentro de formula_4 y tangentes a él.