F3-Lax-Milgram-periodic-problems-Averaging lemma.mp4