Correctness of a subroutine depends on the correctness of the subroutines it calls

• 子程序的正确性取决于它调用的子程序的正确性