theorem Th2: :: NELSON_1:2

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