theorem :: NELSON_1:3

for L being Quasi-Boolean_Algebra holds (Bottom L) ` = Top L