Lawson's conjecture