The proof is not direct, but relies on the results of [2].
This will provide us with a way of getting some information about M without relying on general theory.
Strictly speaking, we should write something like a(l,m,n) to reflect the dependence; we shall rely upon context instead.