Downward Closure of $\mathrm{P}$ Under Polynomial-Time Many-One Reductions