theorem Thflat0501: :: POSET_2:8

for P, Q being non empty flat Poset
for f being Function of P,Q st f . (Bottom P) = Bottom Q holds
f is monotone