En particular, si "G" es finito, entonces la cardinalidad de todo subgrupo de "G" y el orden de cada elemento de "G" debe ser un divisor de |"G"|.