Z("G") es un subgrupo normal de "G" pues si "z" ∈ Z("G"), entonces