theorem :: CLASSES1:56

the_transitive-closure_of {} = {} by Th55;