Non-Zero Complex Numbers are Closed under Multiplication

Theorem
The set of non-zero complex numbers is closed under multiplication.