Hardy–Weinberg law