theorem :: MATRIX_5:2

0. F_Complex = 0 by COMPLFLD:7;