Is this a case where you can prove a solution exists but you can’t say what it is? (Because you have to invoke the Axiom of Choice or some such?)
Is this a case where you can prove a solution exists but you can’t say what it is? (Because you have to invoke the Axiom of Choice or some such?)