Probability Theory/Independence

note to self: in the case of indep., the rules of the kind $$P(\sum \prod) = \sum \prod P$$ should be derived.