We now prove that f cannot have compact support unless f=0 a.e.
We put b in R unless a is already in.
The S-function f is zero unless l=m, in which case it depends only on M.