theorem Th15: :: DICKSON:16

for R being RelStr st R \~ is well_founded & R is antisymmetric holds
R is well_founded