theorem Th14: :: DICKSON:15

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