Let I and J be ideals in R. Let IJ denote the set of all possible finite sums of elements of the form ab (with a in I, b in J), that is, IJ = {a1b1 + a2b2 + ... + anbn | n >= 1, ak in I, bk in J}. Prove that IJ is an ideal. IJ is called the product of I and J.