theorem Th15: :: NECKLA_3:15

for G being strict irreflexive RelStr st G is trivial holds
ComplRelStr G = G