综合第 2–5 步:恰好当 n>3n>3n>3 时存在这样的集合(n=3n=3n=3 时从不存在),而在这些情形中,n=4n=4n=4 是唯一集合唯一的情形,因为每个 n>4n>4n>4 都至少拥有第 3 步与第 4 步这两种不同的构造。