theorem
  F is t-periodic implies F^2 is t-periodic by Th4;
