I'm wondering about the following question:

Let the random variables be independent, and . Set

and , for . Show that and are independent and determine their distributions.

My thought so far:

I see that given is binomially distributed with parameters n and 1/2. What I want to show is that and one can expand

according to the law of total probability, but I'm kind of stuck after that.