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

What is the original reference for this result?