theorem Th35: :: DICKSON:36

for R being RelStr st R is empty holds
R is Dickson