>>635
つまり、存在例化の使用が非構成的なのではない
結論が構成的か否かは前提となる存在命題の証明が
構成的か否かで決まる、ということですな

最初からそういってくださいよ（笑）