theorem Th10: :: FUNCT_9:10

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