@MikeMiller @BalarkaSen
$$c_{i+j}=\sum_{k=0}^{i+j} a_k b_{i+j-k}=a_0 b_{i+j}+a_1 b_{i+j-1}+ \dots+ a_ib_j+ \dots+ a_{i+j} b_0$$
We don't know what happens for the terms for $k<i$ and for $k>i$, right?
We just know what happens for the term $a_ib_j$, or am I wrong?