theorem Th59:
  A c= A+
proof
  A |^ 1 c= A+ by Th49;
  hence thesis by FLANG_1:25;
end;
