Simplify non-divisibility of discrete uniform problem. Add solution.