Description: An element is zero iff its product with a nonzero element is zero. (Contributed by NM, 8-Oct-2014)