theorem Th56: :: FILTER_0:56

for L being Lattice
for p being Element of L holds Bottom (latt <.p.)) = p