theorem Th11: :: FUNCT_9:11

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