theorem Th32: :: NIVEN:34

for L being non empty right_complementable add-associative right_zeroed addLoopStr
for z0, z1, z2 being Element of L holds - <%z0,z1,z2%> = <%(- z0),(- z1),(- z2)%>