Let $f : X \to Y$ and $g : Y \to Z$ each be a D466: Surjective map such that

(i)	$g \circ f : X \to Z$ is a D527: Composite map of $f$ with $g$

Then $g \circ f$ is a D466: Surjective map.