set RA = RAdj (R,T);
( 0. (RAdj (R,T)) = 0. S & 1. (RAdj (R,T)) = 1. S ) by dRA;
hence 0. (RAdj (R,T)) <> 1. (RAdj (R,T)) ; :: according to STRUCT_0:def 8 :: thesis: verum