theorem Lemma3:
  kappa_2 ({}R,X) = 1
proof
  {}R c= X;
  hence thesis by Prop11b;
end;
