1.

- ( ( A X B ) n ( C X D ) ) ´ = ( ( C n A ) X ( D n B ) )´
2.- ( ( A X B ) n ( C X D ) ) ´→ ( ( C n A ) X ( D n B ) )´ ^ ( ( C n A ) X ( D n B ) )´ → ( ( A X B ) n ( C X D ) ) ´ (Equivalencia
material 1)
3.- [ ( A X B ) n ( C X D ) ) ´→ ( ( C n A ) X ( D n B ) ]´ ( Simplificación 2 )
4.- [ ( A X B ) n ( C X D ) ) ´ ( Supuesto, Premisa adicional 3)
5.- [ ( A X B ) ^ ( C X D ) ) ´ ( Definición de intersección 4 )
6.- [ ( xEA ^ yEB ) ^ ( xEC ^ yED ) ] ´ (Definición del producto cartesiano 5 )
7.- ¬ [ ( xEA ^ yEB ) ^ ( xEC ^ yED ) ] (Definición de complemento 6)
8.- ¬ ( xEA ^ yEB ) v ¬ ( xEC ^ yED ) (Morgan 7)
9.- ( ¬xEA v ¬yEB ) v ( ¬xEC v ¬yED ) (Morgan 8)
10.- ( ¬xEC v ¬xEA ) v ( ¬yED v ¬yEB ) (Distribución 9)
11.- ¬ ( xEC ^ xEA ) v ¬ ( yED ^ yEB ) (Morgan 10)
12.- ¬ [ ( xEC ^ xEA ) ^ ( yED ^ yEB ) ] (Morgan 11)
13.- [ ( xEC ^ xEA ) ^ ( yED ^ yEB ) ] ´ (Definición de complemento)
14.- [ ( C ^ A ) X ( D ^ B ) ] ´ (Definición de producto cartesiano)
15.- [ ( C n A ) X ( D n B ) ] ´ (Definición de intersección)
16.- [ ( A X B ) n ( C X D ) ] ´ → [ ( C n A ) X ( D n B ) ] ´ (Condicionalización 4,15)