Misalkan \(L\) merupakan latis distributif.
\begin{align*}
a \vee ( b \wedge c ) & = [a \vee (a \wedge c) ] \vee ( b \wedge c )\\
& = a \vee [(a \wedge c) \vee ( b \wedge c )]\\
& = a \vee [(c \wedge a) \vee ( c \wedge b )]\\
& = a \vee [c \wedge ( a \vee b )]\\
& = a \vee [( a \vee b ) \wedge c ]\\
& = [( a \vee b ) \wedge a ] \vee [(a \vee b) \wedge c ]\\
& = ( a \vee b ) \wedge ( a \vee c )\text{.}
\end{align*}
Arah sebaliknya langsung mengikuti Prinsip Dualitas.