简单容斥题，式子也很好推吧。