At-Least-One and Exactly-One of Independent Events via Complements (Telescoping Products)

For independent events, attack 'at least one' through its complement 'none' (a product of failure probabilities), and build 'exactly one' by swapping a single factor — then collapse the product by telescoping.