for L being Boolean LATTICE holds L,L opp are_isomorphic