Teorema del Buey del Projimo

( x € Local ) <==> No ( y € Local )

( f( objeto ) € x ) <==> No ( f( objeto ) € y )

( x € Sucursal-de-Caixa-Bank ) <==> No ( y € Sucursal-de-Caixa-Bank )

( f( Marihuana ) € x ) <==> No ( f( Marihuana ) € y )