The whole sentence was messed up talking about arbitrary integers and then about them being positive. It doesn't necessarily hold for b equal to zero for instance in  as the right hand side would then have a .