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