theorem :: MARGREL1:16

for u, v, w being boolean object holds v '&' (w '&' u) = (v '&' w) '&' u ;