スレタイ 箱入り無数目を語る部屋15

>>644　定理Bを修正

定理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) ⇒ s(i)[D(i)]=r(i)[D(i)])