Hardy-Weinberg Theorem