theorem
  the_transitive-closure_of A = A by Th55;
