El espacio formula_12 es generado por la imagen de la formula_16 y aún más: si "S" es una base de "V" y "T" es una base de "W", entonces los formula_17 (tal que formula_18 y formula_19) son una base para formula_12.