A proof of part of Haldane's conjecture on spin chains