. . "P.S. I could understand why this seems mysterious: my best shot at an explanation is that we need to show something is a finite-dimensional $A/M$-vector space and hence Artinian to make the argument run, and the correct ring is $B/MB$." . .