Sea "a" un elemento de "G".