定理4の論理式のみから、定理4の系は導けない
ということは分かる? ID:UIekzH1n

ヒント ∃j∈{1,...,100}. と書いただけでは、jが唯一だとは言えない