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