Además, si los espacios completos de tipos de módulo formula_31 correspondiente a formula_32 y formula_33 no son bien definidos, entonces formula_33 y formula_32 son inconmensurables.