theorem Th11a: :: LATSTONE:11

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