Intersection of Image with Subset of Codomain

Theorem
Let $S$ and $T$ be sets.

Let $f: S \to T$ be a mapping.

Let $A \subseteq S$ and $B \subseteq T$.

Then:
 * $f \sqbrk {A \cap f^{-1} \sqbrk B} = f \sqbrk A \cap B$