Lo siguiente se indica sin prueba en el libro de Shelah "Cardinal aritmética" (página 276), y se atribuye a Uri Abraham:
Suponga que no tiene reales no construibles y que Entonces no tiene reales no construibles.
¿Cómo podemos probar este resultado?