Comprobacion

> evalm(htranspose(T)&*F&*T):map(evala,%); T es F-ortonormal

[Maple Math]