theorem :: NECKLACE:14

for R being RelStr st R is asymmetric holds
the InternalRel of R misses the InternalRel of R ~