Subtracting from multiples of one thousand (written strategy)