theorem Th4: :: FUNCT_9:4

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