theorem Th4: :: WAYBEL17:4

for S, T being up-complete Scott TopLattice
for f being Function of S,T st f is continuous holds
f is monotone