Fixed a few typos in the documentation related to IsDivisibleBy

As the commit message says, there were a couple of typos related to IsDivisibleBy example that are fixed in this branch.