theorem Th28: :: CAT_8:28

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