Note that for the U's we have
with, in general, the sum over any index of any higher order U function being zero, and as indicated, the proof is by induction. The proof depends on the unit normalization and marginalization properties of the W functions.