theorem Th31: :: WAYBEL14:31

for L being complete Scott TopLattice st sup_op L is jointly_Scott-continuous holds
L is sober