theorem Th1: :: GLIB_004:1

for f, g being Function holds support (f +* g) c= (support f) \/ (support g)