容斥很好想，式子也很板很好推，而且不需要卢卡斯定理。