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