theorem :: PRVECT_4:6

for E, F, G being non empty right_complementable add-associative right_zeroed RLSStruct
for x1 being Point of E
for x2 being Point of F
for x3 being Point of G holds - [x1,x2,x3] = [(- x1),(- x2),(- x3)]