The NMR spin-spin coupling constant ¹J(³¹P,¹H) in an isolated PH₃ molecule.