k \in \{0,1,\dots,m_1+m_2\}