Brouwerian Lattice is Distributive

Theorem
Let $\left({S, \preceq}\right)$ be a Brouwerian lattice.

Then $\left({S, \preceq}\right)$ is a distributive lattice