  We give a short proof of a recently established Hardy-type inequality due to
Keller, Pinchover, and Pogorzelski together with its optimality. Moreover, we
identify the remainder term which makes it into an identity.
