Lecture 8 prove the derivation