for C, D being initial category holds C ~= D