for L being non empty lower-bounded flat LATTICE
for x being Element of L
for A being Chain of Bottom L,x holds card A <= 2