Comprobacion

> evalm(transpose(T)&*F&*T);