theorem Th6: :: TOPRNS_1:6

for N, n being Nat
for seq being Real_Sequence of N holds (- seq) . n = - (seq . n)