**Proof.**

```
a(b + c) = a(b'c')' ADD
= ((ab")'(ac")')' DIST
= ((ab)'(ac)')' DN
= ab + ac ADD
DIST2 a + bc = (a + b)(a + c)
(Distribution, Second Form) -
```