for x being FinSequence of COMPLEX
for a being Complex holds dom (a * x) = dom x