theorem Th35: :: MATRIX16:35

for K being Field
for p being FinSequence of K st p is first-col-of-circulant holds
- p is first-col-of-circulant