[martin293]

Well how is it constructed?

[kccqzy]

The existence proof uses the axiom of choice so it's not a constructive proof. You cannot deduce how it's constructed from its existence.