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