Work Energy Theorem Derivation