  We prove a pro-$p$ Hom-form of the birational anabelian conjecture for
function fields over sub-$p$-adic fields. Our starting point is the Theorem of
Mochizuki in the case of transcendence degree 1.

Algebraic Geometry