tests pass for aIsDivisibleByB