ПУСТЬ <x,y>есть X *(Y∩Z)
x є X и y є (Y∩Z)<=>(x є X и y є Y) и (x є X и y є Z)<=> <x,y> є (X×Y) и <x,y> є (X×Z)<=> <x,y> є (Х × Y) ∩ (Х × Z).
ПУСТЬ <x,y>есть X *(Y∩Z)
x є X и y є (Y∩Z)<=>(x є X и y є Y) и (x є X и y є Z)<=> <x,y> є (X×Y) и <x,y> є (X×Z)<=> <x,y> є (Х × Y) ∩ (Х × Z).