theorem Lemma17: :: PREFER_1:35

for A being set
for R being asymmetric Relation of A holds R misses R ~