theorem :: RFUNCT_3:58

for F, G being PartFunc of REAL,REAL
for X being set st F is_convex_on X & G is_convex_on X holds
F + G is_convex_on X