Entonces |ω> es uno de los vectores base, y tenemos