Work–energy theorem