theorem Th46: :: KNASTER:46

for A being non empty set
for f being UnOp of (BooleLatt A) holds
( f is monotone iff f is c=-monotone )