Proof that if two events are independent, so are their complements.