Composition of Direct Image Mappings of Mappings/Proof 1

Proof
Let $S \subseteq A$ such that $S \ne \O$.

Then:

Now we treat the case where $S = \O$:

and the result is complete.