Comprobando

> op(L);

> evalm(L&*C&*transpose(L)-F);

Que claramente es cero modulo 3