theorem Th6: :: MATRTOP3:6

for i, n being Nat
for p being Point of (TOP-REAL n) st i in Seg n holds
(@ p) "*" (Col ((AxialSymmetry (i,n)),i)) = - (p . i)