Definición 1 de base ortonormal (a partir del producto escalar de dos vectores):\\