theorem :: BINARI_3:16

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