theorem
  |.f.| is bounded iff f is bounded by Lm3;
