theorem Th32: :: DICKSON:33

for R being non empty RelStr st R is quasi_ordered & R is Dickson holds
R \~ is well_founded