Add first draft of proof of de Jong's other lemma, for completeness