theorem Th13: :: FUNCT_9:13

for t being Real
for F being real-valued Function st F is t -periodic holds
for x being Real st x in dom F holds
F . x = F . (x - t)