Proof. Being local with respect and (or to for -presheaves) implies that the presheaf is the nerve of a strict -category. Such an -category is gaunt if and only if it is local with respect to the morphisms . This last follows from locality with respect to (or, respectively, with respect to ) because the square
is a pushout square of strict -categories. ∎