theorem CardA1: :: POSET_2:15

for L being non empty LATTICE
for x being Element of L
for A being Chain of x,x holds card A = 1