theorem :: SURREALR:52

for x, y, z, t being Surreal holds comp ({z},x,y,{t}) = {(((z * y) + (x * t)) - (z * t))}