Let \(S, T, U\) be three non-void sets and \(f: S \rightarrow T, g: T \rightarrow U\) be so that \(g \circ f: S \rightarrow U\) is surjective. Then
(A) \(g\) and \(f\) are both surjective
(B) \(g\) is surjective, \(f\) may not be so
(C) \(f\) is surjective, g may not be so
(D) \(f\) and \(g\) both may not be surjective