theorem Lemma22: :: PREFER_1:38

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