alternate lemma1 and partial proof