& lt 1,<b, c>& gt∈A×(B×C)

Then a∈A

& ltb，c & gt∈B×C

So b∈B, c∈C

therefore

That is to say, for any element in A×(B×C), the original image can be found, so it is surjective.