Esto es consecuencia de la definición de producto escalar y del hecho de que el módulo de ambos vectores es la unidad: