theorem Th5: :: POLYNOM5:5

for x, y being Real holds - [**x,y**] = [**(- x),(- y)**]