theorem Th5: :: FUNCT_9:5

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