$${U_\infty - U = -W}$$