if abc are nonempty st then b intersection set is dustributive over union of set is

$B\bigcap (A\bigcup B\bigcup C)=(B\bigcap A)\bigcup (B\bigcap B)\bigcup(B\bigcap C)$