Khẳng định nào sau đây là đúng?

A, Một chương trình con nhất thiết phải có tham số hình thức. 

B, Một chương trình con nhất thiết phải có biến cục bộ.

C, Một chương trình con nhất thiết phải có tham số hình thức, không nhất thiết phải có biến cục bộ.

D, Một chương trình con có thể không có tham số hình thức và cũng có thể không có biến cục bộ.