thus for x, y being complex-valued Function st x in dom {} & - x in dom {} & y = {} . x holds
{} . (- x) = - y ; :: according to BORSUK_7:def 2 :: thesis: verum