在计算12一5时，先从12中减2得10，再从10里减去3得7，这种算法的主要理论依据是________。