for C, D being non empty category st C is trivial & D is trivial holds
C ~= D