More on injections into function spaces over ordinals

To formulate our main result let τ be an ordinal, X a subspace of some ordinal, and M a non-trivial metric space. We prove that if Cp(X,M) admits a continuous injection into Cp(τ,M) then is hereditarily paracompact.