theorem Th3: :: MATRIXR1:3

for F being FinSequence of REAL holds
( F + (- F) = 0* (len F) & F - F = 0* (len F) )