Finished first step of main lemma'' for arrow algo