Green's conjecture