theorem :: XBOOLEAN:9

for p, q, r being boolean object holds p 'or' (q '&' r) = (p 'or' q) '&' (p 'or' r)