>「箱入り無数目」記事が成立する前提が存在すれば、数学的に正しい
>そして(R^N)^100の有限部分集合という前提なら成立する

命題Aが正しいという前提が正しいとすれば命題Aは正しい