theorem Th3: :: FUNCT_9:3

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