for X being set st Total X c= id X holds
X is trivial