theorem TopBot: :: LATTICEA:1

for L being non trivial bounded Lattice holds Top L <> Bottom L