The notation of this proof comes from the article Softmax Regression by UFLDL Tutorial.
Now we look carefully at the result [*], , . Notice that has one and only one value, so for only one value of we have in [*]. If then we have in , if then we have in . So for whatever value of , we have:
Also notice that: . Let’s change the notation a little bit, we have proved: