theorem
  t <> 0 implies REAL --> a is t -periodic by Lm1;
