theorem :: FUNCT_9:9

for t, r being Real
for F being real-valued Function st F is t -periodic holds
F - r is t -periodic by Th8;