Hsiang–Lawson's conjecture