>>636
定理A
∀d(1),…,d(n)∈N.∨(i,j=1~n,i<j) ¬((d(i)>D(i))∧(d(j)>D(j)))
(注：D(i)=max(d(1),…,d(i-1),d(i+1),…,d(100)) とする)
と
定理B
∀s(i)∈R^N.∃r(i)∈R^N,d(i)∈N.∀D(i)∈N.(D(i)>=d(i) ⇒ si[D(i)]=ri[D(i)])