In this talk I will prove that a morphism of n-quasi-categories is an equivalence if and only if it is essentially surjective on objects and fully faithful.