pullback into product

If A ---> B <--- C is a pair of maps with the same codomain, then, assuming pullback and product both exist, the map A x_B C ---> A x C is an extremal monic. It is slightly tricky to prove, but must be well known. Can anyone give me a reference? Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]