for f being complex-valued XFinSequence holds Sequel f = f ^ (seq_const 0)