(via 3-sum)