Hajós' theorem for list coloring

We study an analogue of Hajos' theorem for list coloring which states that each non-k-choosable graph can be obtained from any non-k-choosable complete bipartite graph by a certain set of graph operations. We show that one of the operations of the original set, namely Hajos sum, can be left out.