theorem Th11: :: LATSTONE:10

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