For two arbitrary homogeneous ideals I and J in two different polynomial rings A and B over a field k,  we prove the binomial expansion (I+J)^(n) = \sum_{i+j = n}^n I^(i) J^(j). For that we have to describe the associated primes of the tensor product M \otimes_k N of two finitely generated modules M and N over A and B.