Em termos práticos, os subprogramas são chamados (ou invocados) a partir do corpo do programa principal, assim como costumamos invocar os comandos ...

Analisando as afirmações: I. O retorno da chamada ao primeiro subprograma deverá, necessariamente, levar um valor numérico ao programa principal. Isso é verdadeiro, pois o retorno de um subprograma pode ser um valor numérico. II. Quando o primeiro subprograma é executado, o fluxo do algoritmo se encaminhará, obrigatoriamente, para o primeiro comando do segundo subprograma. Isso é falso, pois o fluxo do algoritmo pode retornar ao programa principal após a execução do primeiro subprograma. III. Quando a execução do subprograma é terminada, o fluxo do algoritmo é desviado para o comando do programa principal situado imediatamente após a chamada do comando, independentemente da quantidade de subprogramas implementados no algoritmo. Isso é verdadeiro, pois após a execução do subprograma, o fluxo retorna ao ponto imediatamente após a chamada do subprograma no programa principal. Portanto, a resposta correta é: "I e III apenas".