theorem Th14: :: DICKSON:15
for R being RelStr st R is well_founded holds
R \~ is well_founded