theorem Thflat01: :: POSET_2:6

for P being non empty flat Poset
for K being non empty Chain of P ex a being Element of P st
( K = {a} or K = {(Bottom P),a} )