Pathwise uniqueness for a degenerate stochastic differential equation · Study