№1 №2 થી સબ્ટ્રેક્ટ, અને №1 ઓવરરાઇટ: ગણતરી સિદ્ધાંત નીચે પ્રમાણે છે.