theorem Th36: :: YELLOW_7:36

for L being bounded LATTICE holds
( L is complemented iff L opp is complemented )