Projective-space bases of Lagrangian fibrations

We prove that the normal projective base of a projective Lagrangian fibration from a compact irreducible holomorphic symplectic Kähler manifold is projective space. This resolves the projective-space base conjecture for such fibrations in every dimension and deformation type.