3 ms·Yes. You can translate the classical proof, assuming excluded middle for propositions.by fmap 13y agoYes. You can translate the classical proof, assuming excluded middle for propositions.