Showed that the lengths are nonincreasing.