theorem Th23:
  Rea <i> = 0 & Im1 <i> = 1 & Im2 <i> = 0 & Im3 <i> = 0
proof
  [*zz,jj*] = [*0,1,0,0*] by Lm3;
  hence thesis by Lm2,Th16;
end;
