Prove work energy theorem for a variable force