Talk:Coherence theorem