Update 4.tex

Chpater 4 corrections regarding the Lie derivation's definition.