>>572
ACから箱入り無数目の成功確率1-εが導けるのだから
ACが成り立つ任意のmodelで「箱入り無数目の成功確率1-ε」は真である
箱入り無数目が成立しないmodelは存在するだろうが、そのようなmodelではACは成立しない
箱入り無数目記事ではACを前提しているので、ACが成立しないmodelは考えていない

なお、ACが成立しないにもかかわらず
箱入り無数目の成功確率1-εが真となるmodelが
存在するかどうかは未解決である