
,

,

We find the probability of intersection using the inclusion/exclusion principle:

By definition of conditional probability,

For

and

to be independent, we must have

in which case we have

, which is true, so

and

are indeed independent.
Or, to establish independence another way, in terms of conditional probability, we must have

which is also true.