theorem Thflat07: :: POSET_2:10

for P, Q being non empty strict chain-complete flat Poset
for f being Function of P,Q st f . (Bottom P) = Bottom Q holds
f is continuous