Pro C

I have read that if C is a category, and the axiom of choice is assumed, then Pro C is equivalent to its full subcategory of diagrams where the diagram category is an inversely-directed set. Does anyone know where this is proved in the literature? Thanks, Bill Rowan