This is LaTeX code:
[latex]
\sum_{l=0}^{m_1}P(Y=k-l,X=l)=P(Y=k-X,\cup_{l=0}^{m_1}\{X=l\})=\\P(X+Y=k)=P(Z=k)
[/latex]