1
2
3
4
5
6
7
DR(1357924680) =
DR(13579 * 10^5 + 24680) = ' DR(x+y)=DR(DR(x)+DR(y))
DR(DR(13579 * 10^5) + DR(24680)) = ' DR(x*y)=DR(DR(x)*DR(y))
DR(DR( DR(13579) * DR(10^5) ) + DR(24680) ) = ' DR(10^5) = 1
DR(DR( DR(13579) * 1 ) + DR(24680) ) =
DR(DR( DR(13579) ) + DR(24680) ) =
DR(DR(13579) + DR(24680) )