theorem :: ROBBINS1:38

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