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