consider t being real number such that
A1: F is t -periodic by Def2;
F - r is t -periodic by A1, Th8;
hence F - r is periodic by Def2; :: thesis: verum