Till bevis på haglatsmängd