Substitusi \(\overline{A\times B}=\overline A\times\overline B\) dan \(\operatorname{Int}(A\times B)=\operatorname{Int}A\times\operatorname{Int}B\) memberi rumus tersebut.