theorem Th47: :: ROBBINS1:47

for G being non empty join-commutative join-associative Robbins ComplLLattStr
for x, y being Element of G holds \delta (x,(- y)) = \delta (y,(- x))