IMPORTANT NOTE REGARDING THE 19.05 LECTURE: At the very end of the proof there is a typo, that was pointed out to me once the recording was over. There is an extra partial derivative in x inside the integrals which should not be there. This affects only the final two lines of the proof. Everything else stays unchanged.
