formula_170 el conjunto de todos los formula_54-Sylow subgrupos de formula_9.