 Strong existence theorem for additive-noise SDEs with bounded measurable drift

For bounded Borel $b:{\mathbb{R}}^d\to {\mathbb{R}}^d$, the stochastic differential equation $d{X}_t=b(X_t)dt+d{B}_t$ has strong existence and pathwise uniqueness. The identity diffusion matrix is nondegenerate. A Girsanov theorem argument alone establishes weak existence and uniqueness in law; the strong conclusion requires an additional theorem. This statement does not extend without further hypotheses to arbitrary path-dependent drift or arbitrary diffusion matrices. See the primary bounded-drift strong-solution theorem.