theorem Th35: :: FUNCT_4:35

for f, g being Function st dom f misses dom g holds
f +* g = g +* f by Th34, PARTFUN1:56;