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