probability complement rules. There are any references about probability complement rules in here. you can look below.