local linearity theorem.mp4