reserve x,t,t1,t2,r,a,b for Real;
reserve F,G for real-valued Function;
reserve k for Nat;
reserve i for non zero Integer;

theorem
  F is t-periodic implies F-r is t-periodic by Th8;
