En el espacio formula_9, sean los vectores: