theorem Th10: :: MATRIX17:10

for K being Field
for p, q being FinSequence of K st p is first-symmetry-of-circulant & q is first-symmetry-of-circulant & len p = len q holds
p + q is first-symmetry-of-circulant