for x being FinSequence of COMPLEX
for c being Complex holds (- c) * x = - (c * x)