theorem Thflat0502: :: POSET_2:9

for P being non empty flat Poset
for p being Element of P
for K being non empty Chain of P st K = {(Bottom P),p} holds
sup K = p