for cF being complex-valued XFinSequence st cF is INT -valued holds
Product cF = multint "**" cF