One can always assume that
for all
by a suitable redefinition of
,
and
.