theorem Th6: :: FUNCT_9:6

for t being Real
for F being real-valued Function st F is t -periodic holds
- F is t -periodic