Case 2: neighbour contributes exactly (M-1)/2 values.

The combined node contains 1 + ((M-1)/2 - 1) + (M-1)/2 = M-1 values. It can become a valid node.

Simply erase borrowed value and neighbour from parent, and replace node that underflowed with the new combined node.

Delete 3 from:

Result: