De los resultados anteriores concluimos que H es un cuerpo. Este cuerpo no es conmutativo pues por ejemplo, (0, ~α)(0, ~β) = (0, ~α ∧ ~β), (0, ~β)(...

De los resultados anteriores concluimos que H es un cuerpo. Este cuerpo no es conmutativo pues por ejemplo, (0, ~α)(0, ~β) = (0, ~α ∧ ~β), (0, ~β)(0, ~α) = (0, ~β ∧ ~α) y ~β ∧ ~α = −~α ∧ ~β.