theorem Th7: :: FUNCT_9:7

for t, r being Real
for F being real-valued Function st F is t -periodic holds
r (#) F is t -periodic