F01 P(A\mid B)=\frac{P(A\cap B)}{P(B)},\quad P(B)>0
F02 P(X=k)=\binom{n}{k}p^k(1-p)^{n-k}
F03 \operatorname{E}[X]=np
F04 \operatorname{Var}(X)=np(1-p)
F05 \sum_{k=0}^{n}P(X=k)=1