Mientras estudiaba las construcciones universales en los paquetes principales, me he quedado con una pregunta bastante básica, a saber:
Dado un grupo de mentiras %-%-%, ¿existe un principal %-%-%-paquete %-%-%, para algún porcentaje de base % %%, que admita una conexión %-%%%cuyo grupo de holonomía es el grupo completo %-%-%?
Supongo que la respuesta es sí, pero no tengo idea de cómo probarlo.
