for a being Complex
for x being complex-valued FinSequence holds len (a (#) x) = len x