Das ist alles richtig soweit.
Wie formt man {x∈M|f(x)∈f(B)} zu {x∈M|∃x*∈B:f(x)=f(x*)} um?
Betrachte dazu mal die Definition
$$ f(B) :=\{ f(x)~|~ x\in B \} $$
und wenn du jetzt weißt, dass für ein \( x\in M\) eben \( f(x) \in f(B)\) gilt, dann muss es nach obiger Definition ein \( x^*\in B\) geben, s.d. \( f(x) = f(x^*)\).