The theorem indicates that arbitrary multipliers are much harder to handle than those in $M(A)$.
But (9) needs handling with greater care.
However, as we are about to see, this complication is easily handled.
The map $G$ can be handled in much the same way.
This is handled by a direct case-by-case argument.