consider t being Real such that
A2: F is t -periodic by Def2;
r + F is t -periodic by A2, Th8;
hence r + F is periodic ; :: thesis: verum