Finiteness of rational curves of degree 12 on a general quintic threefold

We prove the following statement, predicted by Clemens’ conjecture: A generic quintic threefold contains only finitely many smooth rational curves of degree 12.