for f being non empty complex-valued XFinSequence holds XProduct (f | 1) = f . 0