Model ∞-categories III : the fundamental theorem