“…Indeed, if
is a projective arithmetically hyperbolic variety over
, then every subvariety of
is of general type by this conjecture. Then, it follows that every subvariety of
is of general type (see, for instance, [
29] for a proof of this well‐known fact), so that (again by Lang–Vojta's conjecture), the variety
is arithmetically hyperbolic over
.…”