3 ms·> There are non-constructive proofs …if you accept the law of excluded middle.by xigoi 4y ago> There are non-constructive proofs …if you accept the law of excluded middle.