theorem :: FOMODEL0:55

for A, B being set holds (A /\ B) * = (A *) /\ (B *)