Property D for a group 
, where 
and 
, is the assertion that every sequence
of length 
having no zero-sum subsequence of exactly 
terms has the form 
. Here 
is the least length forcing such a subsequence, and 
denotes 
repetitions of one sequence 
(Gao et al. 2007, p. 246).
In this form, 
has no repeated terms. Equivalently, every element in the extremal sequence
occurs exactly 
times. The assertion concerns sequences of maximum possible length, not merely ones
that cannot be extended.
Wang (2026) proved that 
fails this property for every 
, refuting its proposed validity for all 
and 
.
