theorem Th8: :: REWRITE3:8

for x, y being object
for R being Relation st <*x,y*> is RedSequence of R holds
[x,y] in R