theorem Th37: :: LFUZZY_1:37

for X being non empty set
for R being RMembership_Func of X,X
for n being Nat st R is transitive & n > 0 holds
R c=