theorem Th12:
  0 * A c= {0.V}
 proof
   let x be object;
   assume x in 0*A;
   then ex v be Element of V st x=0*v & v in A;
   then x=0.V by RLVECT_1:10;
   hence thesis by TARSKI:def 1;
 end;
