Oka's coherence theorem