Category:Complex Sequence is Null iff Modulus of Sequence is Null