Uniqueness theorem for stationary black hole solutions of $\sigma$-models in five dimensions

I prove the uniqueness theorem for stationary self-gravitating nonlinear $\sigma$-models in five-dimensional spacetime. I show that the Myers-Perry vacuum Kerr spacetime is the only maximally extended, stationary, axisymmetric asymptotically flat solution having the regular rotating event horizon with a constant mapping.