A resposta A deveria ser invalidada, pois apesar do autor (Sebesta) afirmar isso em seu livro, é importante frisar o que ele fala ANTES de citar as tais características: "Todos os subprogramas discutidos neste capítulo, exceto as corrotinas descritas na seção 9.11, têm as seguintes características". Ou seja, o próprio autor de onde tiraram tal afirmação aponta que HÁ exceções, logo não se pode afirmar que para todo subprograma que termina o controle SEMPRE retornará ao chamador (em programas DOS, por exemplo, pode-se encerrar com mensagem de erro, retornando imediatamente o controle para o SO).