容斥很好想，式子很板很好推。