 We already have reasons for doubting that (A) has a constructive proof. If the proof requirements for (B) can be fulfilled, then, given any mathematical statement \(P\), we can apply our proof of (B) to compute a rational approximation \(z\) to the supremum \(\sigma\) of the set