📖 Derivation of Condition 3
(αβ) = N − (A) − (B) + (AB) ≥ 0
Therefore: (AB) ≥ (A) + (B) − N
This says: the number of people with both attributes must be at least as large as the "excess" — the amount by which (A) + (B) exceeds N. If (A) + (B) > N, some people must have both attributes.