for L being Huntington de_Morgan preOrthoLattice holds Bot L = Bottom L