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