The paper does not prove the existence of dark matter, but it mostly eliminates a rival theory called Modified Newtonian Dynamics.