for x, y being Element of REAL+ st x + y = {} holds
x = {}