theorem :: BINARI_3:15
'not' <*TRUE*> = <*FALSE*>