(A ‹‚ B)* = A* ‹ƒ B*
(A ‹ƒ B)* = A* ‹‚ B*
Then:
A = (A ‹‚ B) ‹ƒ (A ‹‚ B*)
A ‹‚ (B ‹ƒ C) = (A ‹‚ B) ‹ƒ (A ‹‚ C)