用Java编程验证一个整数的各位数字之和能被9整除，则该数也能被9整除。验证这个定理的正确性。 注：验证从0--2147483647的整数中是否存在不符合该定理的数，若不存在即验证通过，

在Java中，你可以创建一个函数来验证整数是否满足这个定理。首先，我们可以将输入的整数转换为字符串，然后对每个字符（每一位数字）进行累加。最后，检查这个累加结果是否能被9整除。如果能，那么原整数也一定能被9整除。

以下是一个简单的Java方法来实现这个功能：

public class Main {
    public static boolean isDivisibleByNine(int num) {
        String numStr = Integer.toString(num);
        int sum = 0;
        for (char digit : numStr.toCharArray()) {
            // 将字符转换为int并加上sum
            sum += Character.getNumericValue(digit);
        }
        return sum % 9 == 0; // 如果余数为0，说明能被9整除
    }

    public static void main(String[] args) {
        // 验证范围内的所有整数
        for (int i = 0; i <= 2147483647; i++) {
            if (!isDivisibleByNine(i)) {
                System.out.println("存在不符合定理的整数：" + i); // 打印出不符合条件的数
                break; // 只需找到第一个不符合的情况即可
            }
        }
        if (i > 2147483647) {
            System.out.println("验证通过，所有整数均符合定理"); // 如果没有不符合的数，输出此消息
        }
    }
}

运行上述程序，如果发现有不符合定理的整数，它会立即打印出来；如果没有发现，就表示验证通过。