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.