theorem Lemma12b: :: PREFER_1:11

for X being non empty set
for R being Relation of X
for x, y being Element of X st not [x,y] in R ` holds
[x,y] in R