Small example for IsDivisibleBy