secondary proof

📖 中文释义

  1. [计] 二次验算, 辅助证明