update cases D[4] and D[k], k > 4