霍纳规则的正确性