一共有多少种除法验算