A pesar de que la historiografía ha insistido en que el rey monje la precisaba para poder casarse, la nulidad expresa y terminante del matrimonio de los religiosos no fue incorporada al Derecho Canónico hasta el segundo Concilio de Letrán en 1139, con lo que Ramiro II no la habría necesitado.