theorem Th26: :: DICKSON:27

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