Regular embeddings of complete bipartite graphs

We prove that for any prime number p the complete bipartite graph Kp,p has, up to isomorphism, precisely one regular embedding on an orientable surface—the well-known embedding with faces bounded by hamiltonian cycles.