PROOF OF THE AVERAGING LEMMA