theorem
  Fcl(A,0) = A by Def2;
