for i being Integer
for f being INT -valued FinSequence st i in rng f holds
i divides Product f