(iv) This can be proved in a similar way to (i). Alternatively, one use (iii) to compute
and then use uniqueness, as discussed below.