tenemos garantizado que los autovectores de formula_122 son ortogonales.