But, since with a benevolent hospital
zx(.) = bx(x,q), Eq. (5) implies that the expression in square brackets in Eq. (23)
is zero when (x* ,q*,e*) is replaced by (~,~,8) because, for 2 > .~,x* = .~ and
the upper inequality in Eq. (5) must therefore hold with equality.