for L being bounded pseudocomplemented Lattice holds (Top L) * = Bottom L