  This paper presents a coherence theorem for star-autonomous categories
exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric
monoidal closed categories. The proof of this theorem is based on a categorial
cut-elimination result, which is presented in some detail.
