theorem Th15:
  Fcl(A,1) = A^b
proof
  (Fcl A).0=A by Def2;
  then (Fcl A).(0+1)=A^b by Def2;
  hence thesis;
end;
