Nadel Coherence Theorem