Description: A complex number is nonzero if and only if its square is nonzero. (Contributed by NM, 11-Mar-2006)