Este espacio nulo es un subespacio vectorial del dominio formula_129.