En efecto, si hubiera formula_12 y formula_13 no nulos, se tendría que formula_32 es un múltiplo escalar de formula_17.