set FA = FAdj (F,T);
( 0. (FAdj (F,T)) = 0. E & 1. (FAdj (F,T)) = 1. E ) by dFA;
hence 0. (FAdj (F,T)) <> 1. (FAdj (F,T)) ; :: according to STRUCT_0:def 8 :: thesis: verum