theorem Th14: :: BINARI_3:14
'not' <*FALSE*> = <*TRUE*>