The Sum and Product of Finite Sequences of Complex Numbers

This article extends the [10]. We define the sum and the product of the sequence of complex numbers, and formalize these theorems. Our method refers to the [11].