Comprobacion

> evalm(htranspose(S)&*F&*S); S es F-ortogonal