部门验证。
1.将乘积720除以乘法器16，结果为720÷16 = 45。计算出的商正好是另一个45乘数。
2.将乘积720除以乘数45。结果是720÷45 = 16，计算出的商正好是16的另一个乘数。
反向操作是相应的法则。
假设A是一个非空集。对于A的两个元素a和b中的任何一个，根据某些规则，只有A的确定元素c对应于它们。此规则称为操作A。
相反，如果元素c是已知的，并且元素a和b中的一个可以根据某个规则获取另一个元素，则此规则还定义了操作。此操作称为原始操作的反向操作。
例如，减法是加法的反义。
尽管扩展的数据验证可以有效地验证计算过程中的错误，但对故障排除没有太大帮助。将验证过程中获得的数据（使用结果推导条件）与原始数据进行比较，以提示操作是否正确。
除法是四个算术运算之一。
知道两个因子和一个非零因子的乘积，另一个因子的运算就称为除法。
将两个数相除也称为两个数之比。
如果ab = c（b≠0），则使用乘积编号c和因数b查找另一个因数a的运算为除法。写c÷b，然后将c除以b（或b除以c）。
其中，c称为除数，b称为除数，运算结果称为商。
