This paper proves a functional limit theorem for Stigler's result on the heavily trimmed sums of i.i.d. random variables. The limiting process will be expressed as a functional of a Kiefer process and we shall also see that it is a Brownian motion if and only if asymptotic normality holds.