Conditional proof of the Boltzmann-Sinai ergodic hypothesis