He aquí otros dos hechos, aún más básicos, a cerca de subgrupos: