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