验算公式