Intro and Proof
基本形式：
$f_n = sum_{i=0}^n (-1)^i {n choose i} g_i Leftrightarrow g_n = sum_{i=0}^n (-1)^i {n choose i} f_i$
常用形式：
$f_n = sum_{i=0}^n {n choose i} g_i Leftrightarrow g_n = sum_{i=0}^n (-1)^{n-i} {n choose i} f_i$
$f_n = sum_{i=n}^{N} {i choose n} g_i Leftrightarrow g_n = sum_{i=n}^N (-1)^{i-n} {i choose n} f_i$
代数证明：
其实就是将其中一个式子代入另一个，交换一下求和顺序
先将$f_j$提到前面去，就能得到下式
$$egin{aligned}
& sum_{i=j}^n (-1)^{i+j} {n choose i}{i choose j} \
&= {n choose j} (-1)^j sum_{i=j}^n (-1)^i {{n-j} choose {n-i}} \
&= {n choose j} (-1)^j sum_{i=0}^{n-j} (-1)^{n-i} {{n-j} choose i} \
&= {n choose j} (-1)^{n + j} (1 - 1)^{n - j} \
&= [n==j]
end{aligned}$$
其中运用了一个组合中的技巧：${n choose i}{i choose j}={n choose j} {{n-j} choose {n-i}}$
从组合意义可以理解为交换了选择顺序，先选择$j$个再从剩下的数中除去$n-i$个
容斥证明：
Application
现在做到的基本都是至少/至多和恰好间的转换
设$f[i]$为至多则可使用常用形式1：$g_n = sum_{i=0}^n (-1)^{n-i} {n choose i} f_i$
设$f[i]$为至少则可使用常用形式2：$g_n = sum_{i=n}^N (-1)^{i-n} {i choose n} f_i$