set FE = F_Alg E;
( 0. (F_Alg E) = 0. E & 1. (F_Alg E) = 1. E ) by d;
hence 0. (F_Alg E) <> 1. (F_Alg E) ; :: according to STRUCT_0:def 8 :: thesis: verum