theorem Lemma16: :: PREFER_1:32

for A being set
for R being asymmetric Relation of A holds R \/ (id A) is antisymmetric