Sin embargo, es necesario definir qué significa el círculo vacío más grande de formula_3, denotado como formula_52.