要证明一个程序是并行的，可以通过以下几种方法：
线程分析
通过分析程序中创建的线程数量和执行模式，可以确定程序是否同时执行多个任务。例如，通过检查代码中是否创建了多个`Thread`对象，并观察这些线程是否并发运行。
内存访问分析
并行程序通常涉及多个线程同时访问共享内存。通过分析程序中的内存访问模式，可以确定是否存在数据竞争和同步问题。例如，如果多个线程同时访问和修改同一内存位置，则需要使用线程同步机制（如锁、信号量等）来确保数据一致性。
性能分析
通过性能分析工具，可以观察到程序在不同线程配置下的执行时间和资源利用率。如果程序在多线程环境下表现出显著的性能提升，这可能表明程序是并行的。
形式化验证
使用形式化方法（如模型检查、定理证明、抽象解释等）来验证程序的正确性。这些方法可以通过数学推理来证明程序满足某些性质，如并行性和正确性。
代码审查
通过审查代码，可以识别出潜在的并行执行路径和同步机制。例如，检查是否使用了多线程、并发集合、原子操作等，这些都是并行程序的特征。
实验验证
通过实验手段，如运行程序并监控其行为，可以观察到程序是否同时执行多个任务。例如，通过记录程序执行时间、CPU利用率等指标，可以推断出程序是否并行运行。
需要注意的是，证明程序是并行的需要综合考虑多种因素，包括程序的设计、实现和运行环境。通过上述方法，可以对程序的并行性进行全面的分析和验证。
