theorem Th14: :: BINARI_3:14

'not' <*FALSE*> = <*TRUE*>