Suppose and are Independent r.v.s and we know their distributions. We want to find the distribution of .

Discrete

The PMF of the sum is given by

To prove, consider . By LOTP and WLOG, this is equivalent to

Consider . We’re given that , therefore this is equivalent to saying . Finally, we know and are independent, so it simplifies down to .

Continuous

The PDF of is given by