El cardinal de una clase de conjugación es un divisor del orden del grupo.