Is this formula right?
$$\renewcommand{\Pr}{\mathbb P}\Pr[\cap_{i=1}^n A_i] = \sum_{i=1}^d (-1)^{i-1} \sum_{|K|=k} \Pr[\cup_{k\in K} A_k],$$ with $K$ a subset (without repetition) of $\{1, ..., n\}$.
I have found a similar formula that expresses $\Pr[\cup_{i=1}^n A_i]$ in terms of $\Pr[\cap_{k\in K} A_k]$, and I'd like to be sure I have derived the other formula in the good way.