容斥原理证明及应用