theorem :: YELLOW_7:51

for L being non empty Poset holds
( L is completely-distributive iff L opp is completely-distributive )