theorem :: MATRIX17:9

for K being Field
for p being FinSequence of K st p is first-symmetry-of-circulant holds
SCirc (- p) = - (SCirc p)