容斥证明及模板

参考  https://blog.csdn.net/m0_37286282/article/details/78869512

位运算：http://blog.csdn.net/stay_accept/article/details/47204619

容斥 3种模板：https://blog.csdn.net/qq_40679299/article/details/82794868