theorem Th129: :: FUNCT_7:130
for A being set
for f being Function
for g being b1 -defined Function holds f,f +* g equal_outside A