note to self: in the case of indep., the rules of the kind P(∑∏)=∑∏P should be derived.
Template:Definition
Template:Remark
Template:BookCat