Dado "h" perteneciente a "G" existe un "k" perteneciente a Z tal que "h" = "g".