for m being multiplicative-trivial INT -valued FinSequence holds Product m = 0