También, la preimagen de cualquier subgrupo de "K" es un subgrupo de "G".