Boundedness of hyperbolic varieties

Let $k$ be an algebraically closed field of characteristic zero, and let $X\mathrm{/}k$ be a projective variety. The conjectures of Demailly–Green–Griffiths–Lang posit that every integral subvariety of $X$ is of general type if and only if $X$ is algebraically hyperbolic i.e., for any ample line bundle $\mathcal{L}$ on $X$ there is a real number $\alpha (X,\mathcal{L})$, depending only on $X$ and $\mathcal{L}$, such that for every smooth projective curve $C\mathrm{/}k$ of genus $g(C)$ and every $k$-morphism $f\text{\hspace{0.17em}⁣}:C\to X$, ${\text{deg}}_C{f}^{\ast }\mathcal{L}\le \alpha (X,\mathcal{L})\cdot g(C)$ holds. In this work, we prove that if $X\mathrm{/}k$ is a projective variety such that every integral subvariety is of general type, then for every ample line bundle $\mathcal{L}$ on $X$ and every integer $g\ge 0$, there is an integer $\alpha (X,\mathcal{L},g)$, depending only on $X,\mathcal{L},$ and $g$, such that for every smooth projective curve $C\mathrm{/}k$ of genus $g$ and every $k$-morphism $f\text{\hspace{0.17em}⁣}:C\to X$, the inequality ${\text{deg}}_C{f}^{\ast }\mathcal{L}\le \alpha (X,\mathcal{L},g)$ holds, or equivalently, the Hom-scheme ${\underset{‾}{\text{Hom}}}_k(C,X)$ is projective.