Strong LS category equals cone-length

If a path-connected CW-complex can be covered with n + 1 self-contractible, subcomplexes, then there is a homotopy equivalent space that can be constructed from a point by iteratively attaching cones, in n steps, such that, at the step k, the respective cone is attached over a kth-order suspension.