then ab + ba is divisible by 9.