Dwork's lemma