La siguiente proposición afirma que la relación formula_14 entre subgrupos es transitiva.