theorem Th12: :: NECKLA_3:12

for R being RelStr holds the InternalRel of R misses the InternalRel of (ComplRelStr R)