for b being complex-valued FinSequence st len b = 1 holds
Product b = b . 1