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