具体的には
任意の自然数d(1),…,d(n)に対して
D=max(d(1),…,d(n))
D(1)=max(d(2),…,d(n))
…
D(n)=max(d(1),…,d(n-1))
とすると、
(D(i)=D)⇒D(i)>=d(i)

条件 D(i)=D の
否定 D(i)<D を
満たすd(i)は、たかだか1つ