ABO식 혈액형의 집단유전학: 하디-베인베르크 법칙의 응용