Talk:Oka's lemma