A la luz de la observación anterior, sólo necesitamos probar la primera parte de este teorema. \(x \in a*H\text{.}\)Supongamos que solo necesitamos encontrar una manera de expresar\(x\) como “\(b\)vec...A la luz de la observación anterior, sólo necesitamos probar la primera parte de este teorema. \(x \in a*H\text{.}\)Supongamos que solo necesitamos encontrar una manera de expresar\(x\) como “\(b\)veces un elemento de\(H\text{.}\)” Entonces habremos probado que\(a*H \subseteq b*H\text{.}\) Por la definición de\(a*H\text{,}\) desde\(b\) y\(x\) están\(a*H\text{,}\) ahí existen\(h_1\) y\(h_2\) en\(H\) tal eso\(b = a*h_1\) y\(x = a*h_2\text{.}\) Teniendo en cuenta estas dos ecuaciones,\(a = b h_1^{…