Answering this question correctly for any arbitrary program is known to be an undecidable problem.

• 还没有方法能从理论上得到证明。