Coherence theorem