I will explain the proof of the following result (joint with Akio Tamagawa): the isomorphy type of the geometrically prime-to-p fundamental group of a proper hyperbolic curve, over a finite field of characteristic p, determines the isomorphy type of the curve.