theorem :: BINARI_3:18

<*TRUE*> + <*TRUE*> = <*FALSE*>