theorem Th11: :: ARYTM_0:11

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