discrete math divisibility