theorem Th39: :: MYCIELSK:39

for n being Nat
for R being NatRelStr of n holds the InternalRel of R c= the InternalRel of (Mycielskian R)