Title: A coherence theorem for closed categories