F4-Averaging-lemma-1D-homogenization.mp4