theorem Th2: :: FUNCT_9:2

for t being Real
for F, G being real-valued Function st F is t -periodic & G is t -periodic holds
F + G is t -periodic