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