スレタイ 箱入り無数目を語る部屋28(あほ二人の”アナグマの姿焼き"Part2ｗ)

>>512
∀s1,...,s100∈R^N.∃D1,...,D100∈N,j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di)
を
∀s1,...,s100∈R^N.∃D1,...,D100∈N.∃!j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di)
に修正すればよい？
証明は元々唯一のつもりで書いてるから修正不要。