theorem Lemma21: :: PREFER_1:37

for X being set
for R being asymmetric Relation of X holds R misses id X