验算示例