,
,
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.