Hello,

think of it as events.

Let's consider the possible values for Y, in the event {X+Y=k}

Y can take any value between {1,2,...,n}

So you can divide the probability space into events :

So this gives , since the events are disjoint (Y cannot take two values at a same time)

--->

because X and Y are independent.

Does it look clear to you ?