“…The decomposition theorem applies to any state set and any dimension. By means of this new tool, it has been proven possible to enumerate all NCCAs in the case of some state sets and dimensions, which, up to now, were beyond the capabilities of computers (see, for example, [34,35]), and also, what is even more valuable, it was possible to prove some general facts about NCCAs (see [36,37]).…”