${2K = -U.}$