Hsiang%E2%80%93Lawson%27s conjecture