for x, o being Element of REAL st o = 0 holds
+ (x,o) = x