consider t being Real such that
A1: F is t -periodic by Def2;
r (#) F is t -periodic by A1, Th7;
hence r (#) F is periodic ; :: thesis: verum