secondary proof的意思|示意
美 / ˈsekəndəri pru:f /
英 / ˈsɛkənˌdɛri pruf /
[计] 二次验算,辅助证明