Amazingly, constructivists would not accept this. We cannot assert something unless we have a proof - a constructive proof. If p is indeed a prime, then it is some particular prime. If it is 3, then we need a proof of this. But we could only produce a proof that/? = 3 by producing a proof of Goldbach's conjecture, something that we cannot now do. Nor can we now refute Goldbach's conjecture, so we can't prove that/7 = 5, either.