theorem :: LATSTONE:14

for L being bounded pseudocomplemented Lattice
for x being Element of L holds x * in PseudoComplements x