theorem Th46: :: INT_5:46

for f, g, h, k being FinSequence of REAL st len f = len h & len g = len k holds
(f ^ g) - (h ^ k) = (f - h) ^ (g - k)