A revised proof of optimality for the cube-per-order index rule for stored item location