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