theorem Th41:
   0 in dom Macro i &  1 in dom Macro i
proof
  card Macro i = 2 by Th40;
  hence thesis by AFINSQ_1:66;
end;
