Consider a projective complex K3 surface $X$, then $\lvert D\rvert$ contains only finitely many rational curves for any divisor $D$ on $X$.

What is the original reference for this result?