Mac Lane's coherence theorem